7a45d88ab253ce534b977e74443265e595901b84,src/org/basex/gui/dialog/DialogEdit.java,DialogEdit,DialogEdit,#GUI#number#,50

Before Change


    } else {
      byte[][] atts = new byte[2][];
      if(kind == Data.ATTR) {
        atts[0] = data.attName(pre);
        atts[1] = data.attValue(pre);
      } else {
        atts[0] = data.text(pre);

After Change


      pp.add(input3, BorderLayout.CENTER);
    } else {
      if(kind == Data.ATTR) {
        old1 = string(data.attName(pre));
        old2 = string(data.attValue(pre));
      } else {
        old1 = string(data.text(pre));